rename async keyword in python API
authorRoland Kaminski <kaminski@cs.uni-potsdam.de>
Sat, 3 Nov 2018 21:34:57 +0000 (22:34 +0100)
committerPeter Michael Green <plugwash@raspbian.org>
Thu, 14 Mar 2019 17:34:56 +0000 (17:34 +0000)
commit98d00025b194c8c4f2424795ab87f94918762306
tree42248c11def9458076561641141701c6cc85ee49
parent77c3a4a386283025b9dea7666ae875743a1bb4c1
rename async keyword in python API

Bug-Debian: https://bugs.debian.org/912552
Forwarded: https://github.com/potassco/clingo/pull/125

`async` is a reserved keyword starting with python 3.7:
https://docs.python.org/3/whatsnew/3.7.html#summary-release-highlights

The `Control` class method `solve()` now uses the following keyword
argument list:

```
solve(self, assumptions, on_model, on_finish, yield_, async_)

```

closes #125

Gbp-Pq: Name gringo-python37-async.patch
app/clingo/tests/python/assumptions4.lp
app/clingo/tests/python/cancel.lp
app/clingo/tests/python/interrupt.lp
app/clingo/tests/python/test.lp
app/clingo/tests/run.py
examples/clingo/controller-async/controller.py
examples/clingo/controller-processes/client.py
examples/clingo/controller-threads/controller.py
examples/clingo/robots/visualize.py
examples/clingo/solve-async/solve-async-py.lp
libpyclingo/pyclingo.cc